]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bbf293) | patch
dash: Minor style fixes
authorFlorian Müllner <fmuellner@gnome.org>
Mon, 31 Jan 2011 14:05:23 +0000 (15:05 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 9 Feb 2011 21:16:45 +0000 (22:16 +0100)
commitd33958ceee849f949eccc5d5dda519694c00eecc
tree16b3a3ffde990bb23eb1135c016df5c3c5eb2da2tree | snapshot
parent9bbf293898aa1f84b176267667518d57ae976a28commit | diff
dash: Minor style fixes

- 1px border rather than 2
 - less padding around launchers
 - icon prelight was too bright, bring it down a notch

Based on an original patch by Jakub Steiner.

https://bugzilla.gnome.org/show_bug.cgi?id=636156
data/theme/gnome-shell.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.